function change_img(para) {
    document.getElementById("hdImg").src = "images/" + para + ".jpg";

}
